Causality-Aided Falsification
نویسندگان
چکیده
Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques’ scalability. In this paper we introduce the idea of causality aid in falsification: by providing a falsification solver—that relies on stochastic optimization of a certain cost function—with suitable causal information expressed by a Bayesian network, search for a falsifying input value can be efficient. Our experiment results show the idea’s viability.
منابع مشابه
Time-Staging Enhancement of Hybrid System Falsification
Optimization-based falsification employs stochastic optimization algorithms to search for error input of hybrid systems. In this paper we introduce a simple idea to enhance falsification, namely time staging, that allows the time-causal structure of time-dependent signals to be exploited by the optimizers. Time staging consists of running a falsification solver multiple times, from one interval...
متن کاملYes, No, Maybe So: The Effect of Ambiguity, Falsification, and Confirmation on Re-Categorization
Researchers argue that dissatisfaction with a misconception is a prerequisite for adopting an alternative conception and that having clear feedback aids learning. The present study investigated the importance of ambiguity (having response options that support both the misconception and target learning category), falsification, and category induction opportunities when overriding a prior concept...
متن کاملSpectrum Sensing Data Falsification Attack in Cognitive Radio Networks: An Analytical Model for Evaluation and Mitigation of Performance Degradation
Cognitive Radio (CR) networks enable dynamic spectrum access and can significantly improve spectral efficiency. Cooperative Spectrum Sensing (CSS) exploits the spatial diversity between CR users to increase sensing accuracy. However, in a realistic scenario, the trustworthy of CSS is vulnerable to Spectrum Sensing Data Falsification (SSDF) attack. In an SSDF attack, some malicious CR users deli...
متن کاملValidation of Theory: Exploring and Reframing Popper’s Worlds
Popper’s well-known arguments describe the need for advancing social theory through a process of falsification. Despite Popper’s call, there has been little change in the academic process of theory development and testing. This paper builds on Popper’s lesser-known idea of “three worlds” (physical, emotional/conceptual, and theoretical) to investigate the relationship between knowledge, theory,...
متن کاملExperimenting with Server-Aided Signatures
This paper explores practical and conceptual implications of using Server-Aided Signatures (SAS). SAS is a signature method that relies on partially-trusted servers for generating public key signatures for regular users. Besides its two primary goals of 1) aiding small, resource-limited devices in computing heavyweight (normally expensive) digital signatures and 2) fast certificate revocation, ...
متن کامل